⬆️ deps: Update Python dev dependencies - #53

v0.16.2

Compare Source

Released on 2026-08-06.

Bug fixes

• [flake8-pyi] Avoid false positives on singledispatch functions (PYI041) (#​27335)

Server

• Register formatting capabilities dynamically to exclude TOML files (#​27332)

Contributors

• @​MeGaGiGaGon
• @​charliermarsh
• @​epage
• @​sharkdp
• @​ntBre

v0.0.69

Compare Source

Released on 2026-08-06.

Core type checking

• isinstance narrowing for generic classes is now more gradual by default (#​27308)

  This new behavior is more similar to what other major type checkers do. For example:

  def f(xs: object):
      if isinstance(xs, list):
          reveal_type(xs)  # now: `list[Unknown]`, before: `Top[list[Unknown]]`

  Note: you might consider enabling analysis.strict-generic-narrowing
  if you prefer the strictly correct behavior.

Contributors

• @​sharkdp

v0.0.68

Compare Source

Released on 2026-08-05.

Diagnostics

• Preserve property getter call errors (#​27509)
• Simplify numeric tower displays (e.g., float over int | float) (#​27406)
• Suggest closing open TypedDict types for Mapping compatibility (#​27512)

Core type checking

• Avoid double inference of Unpack operands in Union (#​27525)
• Fix panic from mismatched OR-pattern bindings (#​27533)

Contributors

• @​AlexWaygood
• @​charliermarsh
• @​carljm

v0.0.67

Compare Source

Released on 2026-08-05.

LSP server

• Fix unused hints for OR-pattern captures (#​27438)
• Index match-pattern bindings as symbols (#​27260)
• Retain typing-only symbols in explicit completions (#​27435)

Diagnostics

• Preserve called types in intersection diagnostics (#​27475)
• Suppress unimported-reveal diagnostics in stub files and if TYPE_CHECKING blocks (#​27508)

Configuration

• Remove deprecated src.root setting in favor of environment.root (#​27456)

Core type checking

• Check property compatibility when matching class objects to protocols (#​27402)
• Fix constructor calls on narrowed type-variable intersections (#​27493)
• Fix specialization cycle with deferred TypeVar defaults (#​27453)
• Infer generic TypedDicts from unpacked TypedDicts (#​27439)
• Infer generic TypedDicts through synthesized constructor signatures (#​27436)
• Normalize unpacked callable signatures for assignability (#​27450)
• Preserve class type parameters through generic decorators (#​27442)
• Preserve generic class type variables in constructor inference (#​27340)
• Preserve return constraints for object-variadic callables (#​27431)
• Preserve return constraints for top callables (#​27446)
• Recover generic constructor types from failing overloads (#​27460)
• Reject Self with incompatible explicit receiver annotations (#​27454)
• Reject unhashable objects for Hashable protocols (#​27441)
• Reject unsupported dataclass_transform parameters (#​27458)
• Restore bottom callable subtyping for gradual prefixes (#​27519)
• Top-materialize is_dataclass type guard (#​27455)
• Validate constructor calls on unbounded type variables (#​27449)

Performance

• Avoid exponential slowdown copying narrowed TypedDict unions (#​27492)

Contributors

• @​Punisheroot
• @​dhruvmanila
• @​AlexWaygood
• @​sharkdp
• @​MichaReiser
• @​carljm
• @​charliermarsh

v0.0.66

Compare Source

Released on 2026-08-03.

LSP server

• Index with-statement targets as symbols (#​27256)
• Trigger signature help after completing callable with parentheses (#​27084)

Library support

• Pydantic: Recognize models installed on extra search paths (#​27429)

Diagnostics

• Detect __aenter__ and __aexit__ that do not return awaitables (#​27414)
• Diagnose dataclass fields after inherited defaults (#​27327)
• Emit diagnostic when specializing a non-generic class (#​26883)
• Improve error context for incompatible callable signatures (#​27422)
• Preserve forwarded expanded-variadic diagnostic sources (#​27266)

Core type checking

• Avoid over-materializing user-defined TypeIs return types (#​26864)
• Fix enum class container assignability (#​27318)
• Hide stub-only helpers from implicit builtin lookup (#​27423)
• Move Unknown out of the experimental ty_extensions API (#​27430)
• Preserve TypeVarTuple context during Generic recovery (#​27381)
• Preserve exact numeric types in covariant collections (#​27311)
• Reject ClassVar and Final qualifiers in NamedTuple fields (#​27380)
• Reject out-of-scope ParamSpec components (#​27378)
• Reject specializing non-generic subclasses (#​27377)
• Respect bounds and constraints in generic materializations (#​27228)
• Sync vendored typeshed stubs (#​27401). Typeshed diff

Contributors

• @​dhruvmanila
• @​carljm
• @​Punisheroot
• @​AlexWaygood
• @​cheparity
• @​BitWeaverDev
• @​charliermarsh
• @​ribru17
• @​sharkdp